fun facts about germany